Temporal theory

Results: 595



#Item
201Logic in computer science / Theoretical computer science / Decision theory / Linear temporal logic / Temporal logic / Preference / Planning Domain Definition Language / Fluent / Utility / Logic / Automated planning and scheduling / Mathematical logic

A General Framework for Expressing Preferences in Causal Reasoning and Planning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2006-11-29 16:27:00
202Artificial intelligence / Behavior / Reinforcement learning / Q-learning / Game theory / SARSA / Temporal difference learning / Agent-based model / Multi-agent system / Statistics / Behaviorism / Learning

Attachment A: PASRR Coordinator Listing

Add to Reading List

Source URL: www.health.ny.gov

Language: English - Date: 2011-08-04 17:01:28
203Artificial intelligence / Behavior / Reinforcement learning / Q-learning / Game theory / SARSA / Temporal difference learning / Agent-based model / Multi-agent system / Statistics / Behaviorism / Learning

Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems Sam Devlin Daniel Kudenko

Add to Reading List

Source URL: www.ifaamas.org

Language: English - Date: 2011-04-15 08:04:30
204Data / Information / Relational database management systems / Data modeling / MarkLogic / Temporal database / Bitemporal data / NoSQL / Tuple-versioning / Data management / Database management systems / Database theory

D ATA S H E E T Bitemporal What did you know and when did you know it? The MarkLogic® bitemporal feature answers this critical question by tracking information “as it actually was” in combination with “as it was

Add to Reading List

Source URL: owwgdpc6ll4w6eh4717xd1x4.wpengine.netdna-cdn.com

Language: English - Date: 2015-01-27 09:33:32
205Mathematical logic / Model theory / Entailment / Universal quantification / Μ operator / Linear temporal logic / Logic / Mathematics / Constructible universe

J MUSCAT 1 Introductory Mathematics

Add to Reading List

Source URL: staff.um.edu.mt

Language: English - Date: 2009-03-05 06:40:09
206Semigroup / Model theory / Linear temporal logic / Temporal logic / Algebraic structures

Linear temporal logi for regular ost fun tions Denis Kuperberg Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Regular ost fun tions have been introdu ed re ently as an extension to the notion of regular languag

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2012-10-25 13:52:50
207Allrecipes.com / Recipe / Food and drink / Knowledge / Innovation / Information theory / Mutual information / Bing / Creativity / Design / Internet search engines / Science

Temporal Patterns in Online Food Innovation Tomasz Kusmierczyk Christoph Trattner Kjetil Nørvåg

Add to Reading List

Source URL: www.christophtrattner.info

Language: English - Date: 2015-03-04 13:43:05
208Hierarchical temporal memory / Numenta / Adobe Flex / Analytics / Computing / Software / Grok / Business intelligence

Developer Quick Start Guide Developer Quick Start Guide Numenta is leading a new era of intelligent machines. We have developed theory, core software technology and multiple applications that address a variety of usage

Add to Reading List

Source URL: numenta.com

Language: English - Date: 2015-02-05 00:48:41
209Automata theory

Linear temporal logic for regular cost functions

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2012-10-25 13:52:51
    210Temporal logic / Networks / Theoretical computer science / Model checking / Search algorithms / Kripke structure / A* search algorithm / Connectivity / Linear temporal logic / Graph theory / Mathematics / Network theory

    I:/Ganesh/Research/AAAI2011/camera-ready/aaai-2011-camera-ready-vh-edited.dvi

    Add to Reading List

    Source URL: www.cs.iastate.edu

    Language: English - Date: 2011-06-14 00:22:51
    UPDATE